Simplification of disjunctive antecedents